Core Type Theory

Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present proof for propositional logic, explain its connections to bilateralism, explore the possibility using it as theory, in same kind way intuitionistic often used theory. Our not own, but very closely related, determines consequence relation. The difference, however, matters our purposes, we discuss this. then turn question strong normalization, showing that although strongly normalizing, modified is.